Petri Net File Formats
نویسنده
چکیده
The main intention of this paper is to encourage discussion about standards for Petri net le formats. We present criteria for good formats and estimate their signiicance for diierent classes of involved persons. The following persons are considered: 1. the designer of a Petri net tool who should integrate analysis algorithms and editors implemented by diierent persons at diierent locations; 2. the programmer of an analysis algorithm or a net editor, and 3. a user who wants to edit or analyse nets. The PEP le format serves as an example to explain design decisions.
منابع مشابه
Towards Petri Net WWW Community: Starting Points
This paper presents basic guidelines for building Petri net ontology, which should enable using Petri nets on the Semantic Web and help establish a true Web community of Petri net users and applications. Available Petri net model descriptions give format definitions. Their main objective is to provide the syntax for sharing Petri net models between different applications. Some of these applicat...
متن کاملPetri net ontology
The paper presents the Petri net ontology that enables sharing Petri nets on the Semantic Web. Previous work on formal methods for representing Petri nets mainly defines tool-specific descriptions or formats for model interchange. However, such efforts do not provide a suitable description for using Petri nets on the Semantic Web. This paper uses the Petri net UML model as a starting point for ...
متن کاملInteroperable Petri net models via ontology
The paper presents a Petri net infrastructure that should allow sharing Petri nets on the Semantic Web. Previous solutions only provide model interchange mechanisms between Petri net tools. The Petri net ontology is a central part of our solution. The ontology is closely related to the Petri Net Markup Language (PNML) – an ongoing Petri net community sharing effort. We developed the Petri net o...
متن کاملFluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications
This paper presents an application of the Fluid Stochastic Petri Net (FSPN) formalism for the analysis of the transfer time distribution in peer-to-peer (P2P) file sharing applications. The transfer of the resource follows a successful search; the transfer time is mainly dominated by network characteristics, application characteristics, resource characteristics, and user behavior. The proposed ...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996